Simulation under Arbitrary Temporal Logic Constraints
نویسندگان
چکیده
منابع مشابه
Distributed Multi-Agent Persistent Surveillance Under Temporal Logic Constraints ?
We consider the problem of finding optimal agent trajectories for persistent surveillance missions subject to temporal logic (TL) constraints. Specifically, we aim to minimize the time between two consecutive visits to regions of interest in a partitioned environment while satisfying each agent’s TL specification. We formulate a distributed optimization problem, where each agent plans its traje...
متن کاملDistributed Informative Path Planning under Temporal Logic Constraints
In this work, we present an algorithm for synthesizing distributed control policies for networks of mobile robots such that they gather the maximum amount of information about some a priori unknown feature of the environment, e.g. hydration levels of crops or a lost person adrift at sea. Natural motion and communication constraints such as “Avoid obstacles and periodically communicate with all ...
متن کاملTemporal Logic with Capacity Constraints
Often when modelling systems, physical constraints on the resources available are needed. For example, we might say that at most N processes can access a particular resource at any moment or exactly M participants are needed for an agreement. Such situations are concisely modelled where propositions are constrained such that at most N , or exactly M , can hold at any moment in time. This paper ...
متن کاملTwo-machine Scheduling under Arbitrary Precedence Constraints
Suppose jobs, in the Johnson's two-machine n-job flow-shop scheduling problem, are grouped into disjoint subsets within which a job order that may not be preempted is specified. Furthermore, suppose that a precedence relation between these subsets is given such that the processing of a subset must be completed, on each machine, before the processing of another subset begins on the machine. This...
متن کاملTemporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the verification of the temporal properties of a continuous system by verifying only a finite number of its (simulated) trajectories. The proposed framework comprises two main ideas. First, we take advantage of the fact ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2019
ISSN: 2075-2180
DOI: 10.4204/eptcs.310.7